This book presents revised tutorial lectures given by invited speakers at the Third International Symposium on Formal Methods ...
Lire la suiteThis book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods ...
Lire la suiteThis book constitutes the thoroughly refereed post-proceedings of the Third International Conference on Formal Modeling and ...
Lire la suiteThis book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed ...
Lire la suiteThis book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and ...
Lire la suiteThis book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and ...
Lire la suiteThis book constitutes the refereed proceedings of the 9th International Symposium on From Data Models and Back, DataMod 2020, ...
Lire la suiteThe footprint and power constraints imposed on internet-of-things end-points, smart sensors, mobile and ad hoc network devices ...
Lire la suiteThe First Haifa Verification Conference was held at the IBM Haifa Research Lab and at the Haifa University in Israel from ...
Lire la suiteThese are the conference proceedings of the 4th Haifa Verifcation Conference, held October 27–30, 2008 in Haifa, Israel. ...
Lire la suiteThis volume contains the proceedings of the 8th Workshop on Hybrid S- tems: Computation and Control(HSCC2005)heldinZurich, ...
Lire la suiteThese are the proceedings of the 9th International Workshop on Hybrid Systems: Computation and Control, HSCC 2006, March ...
Lire la suiteThe present book includes a set of selected papers from the first “International Conference on Informatics in Control Automation ...
Lire la suiteThis volume constitutes the refereed proceedings of the Second IFIP WG 11.2 International Workshop on Information Security ...
Lire la suiteThis book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, ...
Lire la suiteThe three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...
Lire la suiteThe 22 revised full papers together with two invited talks, 15 poster presentations, and the abstracts of five doctoral consortium ...
Lire la suiteThis volume contains the proceedings of the 21st International Conference on Logic Programming which was held in Sitges (Barcelona), ...
Lire la suiteThe 35 revised full papers together with 2 invited talks, 2 invited tutorials, 11 papers of the co-located first Workshop ...
Lire la suiteThis volume contains the papers presented at the 11th International Conference on Logic for Programming, Arti'cial Intelligence, ...
Lire la suite